Timed Mobility in process algebra and Petri nets

Timed Mobility in process algebra and Petri nets

An Algebra of Timed-Arc Petri Nets

In this paper we present and investigate two algebras, one based on term re-writing and the other on Petri nets, aimed at the specification and analysis of concurrent systems with timing information. The former is based on process expressions (at-expressions) and employs a set of SOS rules providing their operational semantics. The latter is based on a class of Petri nets with time restrictions...

Performance Evaluation of Timed Petri Nets in Dioid Algebra

The Box Algebra = Petri Nets + Process

The paper describes a Petri net as well as a structural operational semantics for an algebra of process expressions. It speciically addresses this problem for the box algebra, a model of concurrent computation which combines Petri nets and standard process algebras. The main result is that it is possible to obtain a framework where process expressions can be given two, entirely consistent, kind...

Timed Petri Nets

In the early 60’s a young researcher in Darmstadt looked for a good representation for communicating systems processes that were mathematically sound and had, at the same time, a visual intuitive flavor. This event marked the beginning of a schematic approach that become very important to the modeling of distributed systems in several and distinct areas of knowledge, from Engineering to biologi...